Sets, Sentences, and Some Logics about Imperatives
نویسنده
چکیده
Though deontic logic is regarded as the logic of normative reasoning, norms – as entities lacking truth values – are usually represented neither in its language nor its semantics. Limiting ourselves to unconditional imperatives, we propose a concept for their semantic representation and show that existing systems of monadic and dyadic deontic logic can be reconstructed accordingly.
منابع مشابه
Methodological Issues for the Logic of Questions and Commands
There has been much recent interest in logics for questions and commands. The authors approve, but they argue that methodological issues must be addressed, before it is possible to understand what such logics are for and what they should be like. In particular, the authors deny that the formulas in such logics correspond directly to sentences in ordinary language. Logic is not linguistics. What...
متن کاملPreservationist Logics and Nonmonotonic Logics
Any number of distinct logical consequence-relations can be represented in preservationist terms—as preserving one or more properties of sets of sentences—providing a general and abstract perspective from which to consider theories of consequence. One simple way of defining such consequence-relations, however, yields ones that are always strictly monotonic. At the same time, many nonmonotonic l...
متن کاملA first-order epistemic quantum computational semantics with relativistic-like epistemic effects
Quantum computation has suggested new forms of quantum logic, called quantum computational logics. In these logics wellformed formulas are supposed to denote pieces of quantum information: possible pure states of quantum systems that can store the information in question. At the same time, the logical connectives are interpreted as quantum logical gates: unitary operators that process quantum i...
متن کاملA Preference Semantics for Imperatives
There is a rich canon of work on the meaning of imperative sentences, e.g. Dance!, in philosophy and much recent research in linguistics has made its own exciting advances. However, I argue here that three kinds of observations about imperatives are problematic for approaches from both traditions. I contend that these shortcomings stem from an entirely standard assumption of these semantic theo...
متن کاملWhat is a Logic ? In
This paper builds on the theory of institutions, a version of abstract model theory that emerged in computer science studies of software specification and semantics. To handle proof theory, our institutions use an extension of traditional categorical logic with sets of sentences as objects instead of single sentences, and with morphisms representing proofs as usual. A natural equivalence relati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Fundam. Inform.
دوره 48 شماره
صفحات -
تاریخ انتشار 2001